5cda1b54863edfbf0345be16c795a3b481e636ba,src/org/opensha2/calc/DeaggDataset.java,Builder,multiply,#number#,316

Before Change



      rPositions.multiply(scale);
      mPositions.multiply(scale);
      positionWeights.multiply(scale);
      residualWeight *= scale;

      List<SourceContribution> oldSources = sources;

After Change


     */
    Builder multiply(double scale) {
      rmε.multiply(scale);
      rScaled.multiply(scale);
      mScaled.multiply(scale);
      εScaled.multiply(scale);
      binned *= scale;